Section: New Results
Automated theorem proving
Participant : Kim-Quyen Ly.
Kim-Quyen Ly extended her formally-proved (in Coq ) automated termination-certificate (for first-order rewrite systems) verifier Rainbow for dealing with certificates using arguments filtering [22] and other termination techniques.